141. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
142. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
143. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
144. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
145. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
146. Algebraic informatics :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
147. Algol
پدیدآورنده : Algol
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، ALGOL )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
A24
I57
148. Algol in brief:a short,practical guide to computer programming in
پدیدآورنده : RACTLIFFE,J F
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ALGOL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
R278
149. Algorithmic language and program development
پدیدآورنده : Bauer, Friedrich Ludwig, 4291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B39
1982
150. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
151. Algorithmic mehtods for artificial intelligence
پدیدآورنده : Michael Griffiths and Carol Palissier
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Artificial intelligence - Data processing,Programming (Electronic computers)
رده :
Q
,
336
,.
G7A4
,
1987
152. Algorithms Unplugge
پدیدآورنده : V?cking, BertholdEditor 4edt., ]electronic resource
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Electronic books,، Computer Algorithms,، Computers, Programming, Algorithms
153. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
154. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده : edited by J. F. Traub
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
155. Algorithms and programming : problems and solutions
پدیدآورنده : Shen, Alexander
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer algorithms , Electronic digital computers - Programming
رده :
QA
76
.
9
.
A43
S47
1997
156. Algorithms and their computer solutions
پدیدآورنده : Artiaga, Lucio.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Electronic data processing,، Algorithms
رده :
QA
76
.
6
.
A77
157. Algorithms and their computer solutions
پدیدآورنده : / Lucio Artiagga, Lioyd D. Davis
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Electronic data processing,Algorithms
رده :
001
.
6424
Ar-A
158. Algorithms + data structures=programs
پدیدآورنده : Wirth, Niklaus
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
6
.
W56
159. Algorithms + data structures= programs
پدیدآورنده : Wirth, Niklaus
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Data structures )Computer science(,، Algorithms
رده :
QA
76
.
6
.
W56
160. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده : edited by A.P. Ershov and D.E. Knuth
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
122
